Function point

Results: 779



#Item
21Mathematics / Order theory / Algebra / Abstract algebra / Abstract interpretation / Galois connection / Fixed-point theorem / Fixed point / FO / Complete lattice / Lattice / Monotonic function

Abstract Interpretation, Reloaded Jan Midtgaard Winter School, Day 3 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015

Add to Reading List

Source URL: janmidtgaard.dk

Language: English - Date: 2015-02-04 08:44:50
22Mathematics / Mathematical analysis / Order theory / Structure / Lattice theory / Complete lattice / Lattice / Abstract interpretation / Monotonic function / Fixed point / QuickCheck / KnasterTarski theorem

QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper

Add to Reading List

Source URL: janmidtgaard.dk

Language: English - Date: 2015-02-06 02:29:00
23Covariance and correlation / Probability theory / Stochastic processes / Data / Mathematical analysis / Spatial data analysis / Signal processing / Stationary process / Correlation function / Van Lieshout / Correlation and dependence / Point process

Ann Inst Stat Math:905–928 DOIs10463z Summary statistics for inhomogeneous marked point processes O. Cronie · M. N. M. van Lieshout

Add to Reading List

Source URL: www.ism.ac.jp

Language: English - Date: 2016-08-02 06:58:14
24Estimation theory / Numerical integration / Mathematical analysis / Statistics / Statistical theory / Numerical analysis / M-estimators / Maximum likelihood estimation / Likelihood function / Integral / Logarithm / Quadrature

On quadrature methods for refractory point process likelihoods Gonzalo Mena and Liam Paninski Statistics Department and Grossman Center for the Statistics of Mind Columbia University July 2, 2014

Add to Reading List

Source URL: www.stat.columbia.edu

Language: English - Date: 2014-07-02 20:20:52
25Software engineering / Computer programming / Computing / Recursion / Lambda calculus / Computability theory / Theoretical computer science / Programming idioms / Functional programming / Function / Subroutine / Fixed-point combinator

Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

Add to Reading List

Source URL: www.idt.mdh.se

Language: English - Date: 2015-04-12 17:46:16
26Mathematical analysis / Several complex variables / Complex analysis / Plurisubharmonic function / Stein manifold / Holomorphic function / Subharmonic function / Beltrami equation / Equivariant cohomology

1 Doc. Math. J. DMV The Minimum Principle from a Hamiltonian Point of View

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2014-07-15 07:19:55
27Software metrics / Project management / Software engineering / Analysis / Statistics / Metrics / Reliability engineering / Outlier / Function point / Software development / Source lines of code / Costbenefit analysis

Quantifying Software Process Improvement C. Verhoef Free University of Amsterdam, Department of Mathematics and Computer Science, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands

Add to Reading List

Source URL: www.cs.vu.nl

Language: English - Date: 2005-09-13 00:40:44
28Optics / Position sensitive device / Electromagnetic radiation / Motion blur / Photonics / Deblurring / Point spread function / Science of photography / Electromagnetism

OSA’s Computation Optical Sensing and Imaging (COSIUCSD Photonics Platform motion blur image restoration system Stephen Olivas1, Michal Šorel2, Nima Nikzad3 & Prof. Joseph Ford1 1Electrical

Add to Reading List

Source URL: psilab.ucsd.edu

Language: English - Date: 2013-08-19 15:29:41
29Topology / Mathematics / General topology / Connected space / Topological space / Open set / Continuous function / Locally connected space / Particular point topology

MSM3P22/MSM4P22 Further Complex Variable Theory & General Topology Course notes - Handout 10 Jos´e A. Ca˜ nizo November 30, 2012

Add to Reading List

Source URL: canizo.org

Language: English - Date: 2015-01-23 17:42:14
30Mathematical analysis / Calculus / Mathematics / Multivariable calculus / Smooth functions / Singularity theory / Differential calculus / Critical point / Hessian matrix / Morse theory / Derivative / Differentiable function

CHARACTERIZATION OF FUNCTIONS REPRESENTING TOPOGRAPHIC SURFACES Gert W. WOLF Department of Geography, University of Klagenfurt Universitaetsstrasse 65, A-9010 Klagenfurt, Austria

Add to Reading List

Source URL: mapcontext.com

Language: English - Date: 2008-08-29 21:43:23
UPDATE